1. AFRICACRYPT 2019-Progress in Cryptology
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer security. ; Computer Communication Networks. ; Computer science. ; Coding theory. ; Software engineering. ; Systems and Data Security. ;
2. Combinatorial Optimization :
پدیدآورنده: edited by Mustafa Akgül, Horst W. Hamacher, Süleyman Tüfekçi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Systems theory.
رده :
QA402
.
5
E358
1992
3. Communication-Based Systems
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
4. Complex systems in knowledge-based environment
پدیدآورنده: / Andreas Tolk, Lakhmi C. Jain (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Knowledge representation (Information theory),Expert systems (Computer science),Intelligent agents (Computer software)
رده :
Q
,
387
,.
C66
,
2009
5. Complex systems in knowledge based environments : theory, models and applications
پدیدآورنده: Andreas Tolk, Lakhmi C. Jain )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Knowledge representation )Information theory(,، Expert systems )Computer science(,، Intelligent agents )Computer software(
رده :
Q
387
.
C65
6. Complex systems in knowledge-based environments :theory, models and applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Knowledge representation-Information theory,، Expert systems -Computer science,، Intelligent agents -Computer software,، Representation des connaissances,، Systemes experts -Informatique
رده :
Q
387
.
C66
2009
7. Domain of Attraction
پدیدآورنده: / Graziano Chesi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
8. Formal Aspects of Component Software
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service
9. Formal Modeling and Analysis of Timed Systems
پدیدآورنده: / Krishnendu Chatterjee, Thomas A. Henzinger
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
10. High Integrity Software
پدیدآورنده: edited by Victor L. Winter, Sourav Bhattacharya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Software engineering.,Systems theory.
11. Perspectives on Software Requirements
پدیدآورنده: edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
12. Software engineering and knowledge engineering
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Software engineering,Expert systems (Computer science),Knowledge representation (Information theory)
رده :
QA76
.
758
.
S6456
1995
13. Software engineering and knowledge engineering
پدیدآورنده: / editor, W. David Hurley
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Software engineering,Expert systems (Computer science),Knowledge representation (Information theory)
رده :
QA
76
.
758
.
S6456
1995
14. Software engineering and knowledge engineering: trends for the next decade
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Software engineering,، Expert systems )Computer science(,، Knowledge representation )Information theory(
رده :
QA
76
.
758
.
S6456
1995
15. Synchronous Programming of Reactive Systems
پدیدآورنده: by Nicolas Halbwachs.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Operating systems (Computers),Software engineering.
16. based environments-Complex systems in knowledge
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Knowledge representation (Information theory) ; Expert systems (Computer science) ; Intelligent agents (Computer software) ; Repr?sentation des connaissances. ; Syst?mes experts (Informatique) ; Agents intelligents (Logiciels) ; Komplexes System. ; swd. ;
